@inproceedings{fournet-popl13,
  title        = "Fully Abstract Compilation to JavaScript",
  author       = "Cedric Fournet and  Nikhil Swamy and  Juan Chen and  Pierre-Evariste Dagand and  Pierre-Yves Strub and Benjamin Livshits",
  year         = "2013",
  month        = jan,
  booktitle    = {Proceedings of the Symposium on Principles of Programming Languages (POPL)}
}